DFA design for all string that always ends with 00